The building of a global model of carcinogenesis is one of modern biology’s greatest challenges. The traditional somatic mutation theory is now supplemented by a new approach, called the Tissue Organization Field Theory. According to TOFT, the original source of cancer is loss of tissue organization rather than genetic mutations. In this paper, we study the argumentative strategy used by the advocates of TOFT to impose their view. In particular, we criticize their claim of incompatibility used to justify the necessity (...) to definitively reject SMT. First, we note that since it is difficult to build a non-ambiguous experimental demonstration of the superiority of TOFT, its partisans add epistemological and metaphysical arguments to the debate. This argumentative strategy allows them to defend the necessity of a paradigm shift, with TOFT superseding SMT. To do so, they introduce a notion of incompatibility, which they actually use as the Kuhnian notion of incommensurability. To justify this so-called incompatibility between the two theories of cancer, they move the debate to a metaphysical ground by assimilating the controversy to a fundamental opposition between reductionism and organicism. We show here that this argumentative strategy is specious, because it does not demonstrate clearly that TOFT is an organicist theory. Since it shares with SMT its vocabulary, its ontology and its methodology, it appears that a claim of incompatibility based on this metaphysical plan is not fully justified in the present state of the debate. We conclude that it is more cogent to argue that the two theories are compatible, both biologically and metaphysically. We propose to consider that TOFT and SMT describe two distinct and compatible causal pathways to carcinogenesis. This view is coherent with the existence of integrative approaches, and suggests that they have a higher epistemic value than the two theories taken separately. (shrink)

The building of a global model of carcinogenesis is one of modern biology’s greatest challenges. The traditional somatic mutation theory is now supplemented by a new approach, called the Tissue Organization Field Theory. According to TOFT, the original source of cancer is loss of tissue organization rather than genetic mutations. In this paper, we study the argumentative strategy used by the advocates of TOFT to impose their view. In particular, we criticize their claim of incompatibility used to justify the necessity (...) to definitively reject SMT. First, we note that since it is difficult to build a non-ambiguous experimental demonstration of the superiority of TOFT, its partisans add epistemological and metaphysical arguments to the debate. This argumentative strategy allows them to defend the necessity of a paradigm shift, with TOFT superseding SMT. To do so, they introduce a notion of incompatibility, which they actually use as the Kuhnian notion of incommensurability. To justify this so-called incompatibility between the two theories of cancer, they move the debate to a metaphysical ground by assimilating the controversy to a fundamental opposition between reductionism and organicism. We show here that this argumentative strategy is specious, because it does not demonstrate clearly that TOFT is an organicist theory. Since it shares with SMT its vocabulary, its ontology and its methodology, it appears that a claim of incompatibility based on this metaphysical plan is not fully justified in the present state of the debate. We conclude that it is more cogent to argue that the two theories are compatible, both biologically and metaphysically. We propose to consider that TOFT and SMT describe two distinct and compatible causal pathways to carcinogenesis. This view is coherent with the existence of integrative approaches, and suggests that they have a higher epistemic value than the two theories taken separately. (shrink)

The Somatic Mutation Theory has been challenged on its fundamentals by the Tissue Organization Field Theory of Carcinogenesis. However, a recent publication has questioned whether TOFT could be a valid alternative theory of carcinogenesis to that presented by SMT. Herein we critically review arguments supporting the irreducible opposition between the two theoretical approaches by highlighting differences regarding the philosophical, methodological and experimental approaches on which they respectively rely. We conclude that SMT has not explained carcinogenesis due to severe epistemological and (...) empirical shortcomings, while TOFT is gaining momentum. The main issue is actually to submit SMT to rigorous testing. This concern includes the imperatives to seek evidence for disproving one’s hypothesis, and to consider the whole, and not just selective evidence. (shrink)

In a previous paper recently published in this journal, we argue that the two main theories of carcinogenesis should be considered as compatible, at the metaphysical, epistemological and biological levels. In a reply to our contribution, Bizzarri and Cucina claim we are wrong since SMT and TOFT are opposite and incompatible paradigms. Here, we show that their arguments are not satisfactory. Indeed, the authors go through the same mistakes that we already addressed. In particular, they confuse reductionism, as an ontological (...) frame, and genetic determinism, as a causal pathway. Beside, they make an inadequate use of the Kuhnian notion of paradigm shift. Finally, we confirm our previous conclusion: there is no strong argument to totally abandon the somatic mutation theory. It describes a partial causal pathway, compatible with the one proposed by TOFT. (shrink)

The somatic mutation theory (SMT) of cancer has been and remains the prevalent theory attempting to explain how neoplasms arise and progress. This theory proposes that cancer is a clonal, cell‐based disease, and implicitly assumes that quiescence is the default state of cells in multicellular organisms. The SMT has not been rigorously tested, and several lines of evidence raise questions that are not addressed by this theory. Herein, we propose experimental strategies that may validate the SMT. We also call attention (...) to an alternative theory of carcinogenesis, the tissue organization field theory (TOFT), which posits that cancer is a tissue‐based disease and that proliferation is the default state of all cells. Based on epistemological and experimental evidence, we argue that the TOFT compellingly explains carcinogenesis, while placing it within an evolutionarily relevant context.magnified imagemagnified imageAna Soto and Carlos Sonnenschein are at Tufts University School of Medicine, Boston, MA, USA. (shrink)

Social media technologies are routinely identified as a strong and pervasive threat to digital well-being. Extended screen time sessions, chronic distractions via notifications, and fragmented workflows have all been blamed on how these technologies ruthlessly undermine our ability to exercise quintessential human faculties. One reason SMTs can do this is because they powerfully affect our emotions. Nevertheless, how social media technology affects our emotional life and how these emotions relate to our digital well-being remain unexplored. Remedying this is important because (...) ethical insights into and open the possibility of designing for social media technologies in ways that actively reinforce our digital well-being. In this article, we examine the way social media technologies facilitate online emotions because of emotional affordances. This has important implications for evaluating the ethical implications of today’s social media platforms, as well as for how we design future ones. (shrink)

Two challenges that face popular self-monitoring theories (SMTs) of auditory verbal hallucination (AVH) are that they cannot account for the auditory phenomenology of AVHs and that they cannot account for their variety. In this paper I show that both challenges can be met by adopting a predictive processing framework (PPF), and by viewing AVHs as arising from abnormalities in predictive processing. I show how, within the PPF, both the auditory phenomenology of AVHs, and three subtypes of AVH, can be accounted (...) for. (shrink)

Sensorimotor Theory is the claim that it is our practical know-how of the relations between our environments and us that gives our environmental interactions their experiential qualities. Yet why should such interactions involve or be accompanied by experience? This is the ‘absolute’ gap question. Some proponents of SMT answer this question by arguing that our interactions with an environment involve experience when we cognitively access those interactions. In this paper, I aim to persuade proponents of SMT to accept the following (...) three claims. First, that appeals to cognitive access fail to answer the absolute gap question. Second, that SMT can be read in a way that rejects the gap question. Third, that if proponents of SMT are prepared to read SMT in a way that rejects the absolute gap question, then they can also reject the claim that cognitive access is needed to explain experience. (shrink)

Since the 1970s, the origin of cancer is being explored from the point of view of the Somatic Mutation Theory (SMT), focusing on genetic mutations and clonal expansion of somatic cells. As cancer research expanded in several directions, the dominant focus on cells remained steady, but the classes of genes and the kinds of extra-genetic factors that were shown to have causal relevance in the onset of cancer multiplied. The wild heterogeneity of cancer-related mutations and phenotypes, along with the increasing (...) complication of models, led to an oscillation between the hectic search of 'the' few key factors that cause cancer and the discouragement in face of a seeming 'endless complexity'. To tame this complexity, cancer research started to avail itself of the tools that were being developed by Systems Biology. At the same time, anti-reductionist voices began claiming that cancer research was stuck in a sterile research paradigm. This alternative discourse even gave birth to an alternative theory: the Tissue Organization Field Theory (TOFT). A deeper philosophical analysis shows the serious limits of both reductionist and anti-reductionist positions and of their polarization. This book demonstrates that a radical philosophical reflection is necessary to drive cancer research out of its impasses. At the very least, this will be a reflection on the assumptions of different kinds of cancer research, on the implications of what cancer research has been discovering over 40 years and more, on a view of scientific practice that is most able to make sense of the cognitive and social conflicts that are seen in the scientific community (and in its results), and, finally, on the nature of living entities with which we entertain this fascinating epistemological dance that we call scientific research. The proposed Dynamic and Relational View of carcinogenesis is a starting point in all these directions. (shrink)

Gallagher is right in pointing out that scientific realism is an implicit background assumption of BNO, and that I did not give an independent argument for it. He is also right in saying that science does not _demonstrate_ the existence of certain entities, but that it assumes those entities in a process of explanation and theory formation. However, it is not true that science, as Gallagher writes (p.2), “simply” assumes the reality of certain things: such assumptions are embedded in the (...) context of an attempt to find the_ minimal _ set of ontological assumptions one has to make relative to a set of explanatory goals and relative to a specific data set in a certain domain. This parsimonious spirit is also the <blockquote> PSYCHE: http://psyche.cs.monash.edu.au/ </blockquote> spirit of SMT, which can be seen as a search for the minimal conditions under which a phenomenal self and a consciously experienced first-person perspective can emerge. (shrink)

According to the somatic mutation theory (SMT), cancer begins with a genetic change in a single cell that passes it on to its progeny, thereby generating a clone of malignant cells. It is strongly supported by observations of leukemias that bear specific chromosome translocations, such as Burkitt's lymphoma, in which a translocation activates the c‐myc gene, and chronic myeloid leukemia (CML), in which the Philadelphia chromosome causes production of the BCR‐ABL oncoprotein. Although the SMT has been modified and extended to (...) encompass tumor suppressor genes, epigenetic inheritance, and tumor progression through accumulation of further mutations, perhaps the strongest validation comes from the successful treatment of certain malignancies with drugs that directly target the product of the mutant gene.magnified imageDavid Vaux is at the Walter and Eliza Hall Institute and La Trobe Institute for Molecular Science, Melbourne, Australia. (shrink)

This is a brief and accessible English summary of the "Self-model Theory of Subjectivity" (SMT), which is only available as German book in this archive. It introduces two new theoretical entities, the "phenomenal self-model" (PSM) and the "phenomenal model of the intentionality-relation" PMIR. A representationalist analysis of the phenomenal first-person persepctive is offered. This is a revised version, including two pictures.

Over the last few years, there has been an exaggeratedly widespread and frequently confused use of the concepts of 'stakeholder' and 'corporate social responsibility'. However, some interesting insights of both these notions can be found in traditional European business administration studies. In this article, the Italian view will be examined. In particular, this paper investigates the teachings of some of the historical masters of the Italian "Economia Aziendale" (EA), with particular attention to the concept of the azienda, its finalism and (...) its essential characteristics, in order to verify some consistencies with the more recent Stakeholder Management Theory (SMT). Principles and considerations seem to emerge from EA scholars' seminal works that unequivocally connect ethics with business decisions. EA fits in with SMT in many ways, and the former (EA) seems, moreover, to suggest a specific normative point of view from which the role of ethics in business activities can be approached. (shrink)

Could translation be fully automated? We must first acknowledge the complexity, ambiguity, and diversity of natural languages. These aspects of natural languages, when combined with a particular dilemma known as the computational dilemma, appear to imply that the machine translator faces certain obstacles that a human translator has already managed to overcome. At the same time, science has not yet solved the problem of how human brains process natural languages and how human beings come to acquire natural language understanding. We (...) will then distinguish between the task of translation and the responsibility of the translator. Thereafter, we will conduct a survey of the methods of machine translation (viz. RBMT, SMT, NMT, foundation models or large language models). These methods will then be critically evaluated both in general and relative to Bar-Hillel’s hypothesis about the impossibility of fully automatic, high-quality machine translation (F ahqmt ). Some concluding remarks will be made about the scope, prospects, and limits of machine translation. (shrink)

Metaphors are cognitive and linguistic tools that allow reasoning. They enable the understanding of abstract domains via elements borrowed from concrete ones. The underlying mechanism in metaphorical mapping is the manipulation of concepts. This article proposes another view on what concepts are and their role in metaphor and reasoning. That is, based on current neuroscientific and behavioural evidence, it is argued that concepts are grounded in perceptual and motor experience with physical and social environments. This definition of concepts is then (...) embedded in the Structure-Mapping Theory, a model for metaphorical processing and reasoning. The blended view of structure-mapping and embodied cognition offers an insight into the processes through which the target domain of a metaphor is embodied or realised in terms of its base domain. The implications of the proposed embodied SMT model are then discussed and future topics of investigation are outlined. (shrink)

Over the last few years, there has been an exaggeratedly widespread and frequently confused use of the concepts of 'stakeholder' and 'corporate social responsibility'. However, some interesting insights of both these notions can be found in traditional European business administration studies. In this article, the Italian view will be examined. In particular, this paper investigates the teachings of some of the historical masters of the Italian "Economia Aziendale", with particular attention to the concept of the azienda, its finalism and its (...) essential characteristics, in order to verify some consistencies with the more recent Stakeholder Management Theory. Principles and considerations seem to emerge from EA scholars' seminal works that unequivocally connect ethics with business decisions. EA fits in with SMT in many ways, and the former seems, moreover, to suggest a specific normative point of view from which the role of ethics in business activities can be approached. (shrink)

Metzinger’s claim that there are no such things as selves has given rise to a lot of discussions. By examining the notion of self used by Metzinger, I want to clarify what he means when saying that nobody ever was or had a self. Furthermore, I want to examine if there could be a notion of ‘self’ which is compatible with the Self- Model Theory of Subjectivity (SMT). I will argue that there is a notion of self which is not (...) only compatible with the SMT, but that the SMT also provides the theoretical framework for developing such a notion. (shrink)

The aim of being able to reason about quantities, time or space has been the main objective of the many efforts on the integration of propositional planning with extensions to handle different theories. Planning modulo theories are an approximation inspired by satisfiability modulo theories that generalize the integration of arbitrary theories with propositional planning. Parallel plans are crucial to reduce plan lengths and hence the time needed to reach a feasible plan in many approaches. Parallelization of actions relies on the (...) notion of interference, which is usually determined syntactically at compile time. In this paper we define a semantic notion of interference between actions in PMT. Apart from being strictly stronger than any syntactic notion of interference, we show how semantic interference can be easily and efficiently checked by calling an off-the-shelf SMT solver at compile time, constituting a technique orthogonal to the solving method. (shrink)

The paper completes a trilogy of papers, under the title: “A Quasi-Personal Alternative to Some Anglo-American Pluralist Models of Organisations: Towards an Analysis of Corporate Self-Governance for Virtuous Organisations”. The first two papers of the three are published in Philosophy of Management, Volumes 10,3 and 11,2. This last paper argues that three dominant Anglo-American organisational theories which see themselves as “business ethics-friendly,” are less so than they seem. It will be argued they present obstacles to collective corporate moral agency. They (...) are: 1) the dominant “soft pluralist” organisational theory of Bolman and Deal, published in 1984 and more recently expressed in Reframing Organisations: Artistry, Choice, and Leadership, 5th edition, 2013, which is based on “reframing,” and which we will call reframing theory (RT); 2) the Business Ethics deployment of Stakeholder Management Theory (SMT) associated with R. Edward Freeman, and several colleagues, dominant in the same period (1984-); and 3) to a much lesser degree, an adapted version of SMT in the Integrated Social Contract Theory (ISCT) of Donaldson and Dunfee (Ties That Bind, Harvard Business School Press (1999)). This paper suggests a return, from RT, SMT, and ISCT, to an older “participative-structuralist” Neo-Aristotelian virtue-ethics based account, based on an analogy between “natural” persons, and organisations as “artificial” persons, with natural persons seen as “flat” architectonically related sets of capacity in complementary relation, and organisations as even flatter architectonic hierarchies of groups of incumbents in roles. This quasi-personal model preserves the possibility of corporate moral agency and some hierarchical and lateral order between leadership groups and other functional roles in the ethical governance of the whole corporation, as a collective moral agent. The quasi-person model would make possible assigning degrees of responsibility and a more coherent interface of Ethics, Organisational Ethics, and Management Theory; the reconfiguring of the place of business in society; an alternate ethico-political basis for Corporate Social Responsibility; and a rethinking of the design of the business corporate form, within the practice and institutions of business, but embedded in a state as representing the community. (shrink)

Das Ziel dieses Beitrags besteht darin, eine kurze Darstellung der "Selbstmodell-Theorie der Subjektivität" (SMT) anzubieten, die sich an naturwissenschaftlich orientierte Leser richtet, die selbst keine Philosophen sind, aber dennoch an philosophischen Theorien des Selbstbewusstseins interessiert sind.

Of all the current philosophical attempts to rescue the concept of “self” by working out a weaker version, one that does not imply an ontological substance or an individual in the metaphysical sense, Marcello Ghin’s is clearly my favorite. His reconstruction of the original theory is absolutely accurate and without any major misunderstandings. Enriching the concept of a “SMT-system” with the notions of “autocatalysis” and “self- sustainment,” and adding the intriguing idea that we are systems reflecting these processes on a (...) new level of complexity, namely with the help of an integrated PSM on the level of conscious experience, seems the way to go if one wants to keep the concept of “self.” I have great difficulties in writing a reply to Ghin’s commentary, simply because I agree with so much in it. Let us see where his approach leads us. (shrink)

Business ethics scholars have proposed strategies for mitigating the ill effects brought on by a wealth maximization business strategy by urging managers to either embrace corporate social responsibility (CSR) or to manage according to stakeholder theory. In this article I argue that these strategies are often ineffective in bringing about the behavior they promote because it is antithetical to the nature and logic of capitalism. I examine the organizing principles of capitalism and the role it assigns to capitalists, and juxtapose (...) these with the behavior prescribed by three normative frameworks: strategic management theory (SMT), the CSR initiative, and stakeholder theory. Unlike the behaviors prescribed by the CSR initiative and stakeholder management theory, the behavior prescribed by SMT is consistent with the role of capitalists as defined by the organizing principles of capitalism, and SMT's “rules” have instilled habits that have, in turn, been able to mold managers’ aspirations and purposes. CSR and stakeholder theory must not only combat the habits instilled by the entrenched SMT, they must also find some way of instilling habits that run contrary to those defined by the nature and logic of capitalism itself. (shrink)

In Kenneth Einar Himma’s substantial commentary, there are a number of conceptual misunderstandings I want to get out of the way first. This will allow us to see the core of his contribution much clearer. On page 2, Himma writes about the problem of “explaining how it is that a particular phenomenal self is associated with a set of neurophysiological processes.” This philosophical question is ill posed: no one is identical to a particular phenomenal self. “Phenomenal self” must not be (...) conflated with “me.” Under SMT, phenomenal selves, in standard situations, are highly specific forms of representational content. They are not particulars in an ontological sense. First, Himma introduces the notion of a “mental subject,” without giving any defining characteristics. He then proceeds to make a strong claim about conceptual necessity, presenting it as selfevident without an independent argument: “…it is not conceptually possible for a conscious mental state to occur that is not instantiated by a mental subject”. I must admit that I do not have this modal intuition, the point is not self-evident to me. (shrink)

The impact of social media technologies (SMTs) on digital wellbeing has become an increasingly important puzzle for ethicists of technology. In this article, we explain why individualised theories of digital wellbeing (DWB) can only solve part of this puzzle. While an individualised conception of DWB is useful for understanding online self-regulation, we contend that we must seek greater understanding of how SMTs connect us. To build an account of this, we locate the conceptual resources for our account in Confucian ethics. (...) In contrast to individualised conceptions of human flourishing that are found in the Western tradition, Confucian thinkers strongly emphasise that individuals cannot flourish alone, but need wider social structures (partner, family, society, nation). Not only do strands of Confucian ethics explain how individuals are defined by the roles they take up in relationships, but this perspective also makes practical suggestions for how these roles can be cultivated. We conclude our article by identifying the Confucian notions that seem to have most promise for the future design of SMTs. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. (...) This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?". (shrink)

We introduce the notion of “δ-complete decision procedures” for solving SMT problems over the real numbers, with the aim of handling a wide range of nonlinear functions including transcendental functions and solutions of Lipschitz-continuous ODEs. Given an SMT problemϕ and a positive rational number δ, a δ-complete decision procedure determines either that ϕ is unsatisfiable, or that the “δ-weakening” of ϕ is satisfiable. Here, the δ-weakening of ϕ is a variant of ϕ that allows δ-bounded numerical perturbations on ϕ. We (...) establish the existence and complexity of δ-complete decision procedures for bounded SMT over reals with functions mentioned above. We propose to use δ-completeness as an ideal requirement for numerically-driven decision procedures. As a concrete example, we formally analyze the DPLL〈ICP〉 framework, which integrates Interval Constraint Propagation in DPLL, and establish necessary and sufficient conditions for its δ-completeness. We discuss practical applications of δ-complete decision procedures for correctness-critical applications including formal verification and theorem proving. (shrink)

This paper explores the ecosystemic management strategies for inclusive schools due to challenges faced by the schools in the mainstream school where learners from the specialised institutions are referred back to mainstream for inclusive education. Ecosystemic perspective on inclusive education, ecological theories and systems theories underpin this paper. The study was done through interviews, field notes and observations of 120 participants comprising the SMTs, educators and parents. The findings indicate that schools face great challenges in managing inclusive schools. A lot (...) has been published on inclusive education, but none of them offers ecosystemic management strategies for the school management to follow. The article concludes by offering ecosystemic management strategies for successful implementation of inclusive education. (shrink)

A number of studies have explored the underperformance of learners. However, there is a paucity of research in South Africa, which focuses primarily on how school leadership, commonly referred to as school management teams, accounts for the underperformance of learners and thus the underperformance of schools. To fill this gap, the current study, undertaken in two schools in a district in KwaZulu-Natal province, aimed to explore through a qualitative approach the opinions of SMTs regarding underperformance in the further education and (...) training phase. School management teams were interviewed using a semi-structured interview guide and in-depth face-to-face interviews. The interview guideline had a set of broad flexibly worded questions that allowed for in-depth discussion. Data were analysed using a thematic data analysis method. The school management team accounted for, and linked underperformance to a range of reasons. In this article, we present findings which emerged in relation to leadership weaknesses, particularly female leadership weaknesses, socio-economic challenges such as child-headed households and its consequences, teenage pregnancy, violence experienced by female learners, health of learners and educators and poverty. Systemic and structural societal challenges were flagged in the interviews as also impacting on the overall cognitive and psycho social development of learners. School management teams addressed the challenges by implementing a number of interventions that they reported were not successful. There is no simple answer to address the problem and we argue for a social compact which is inclusive of all stakeholders and suggest that intervening at the local level may not have a nation-wide impact but it would have an impact on a particular school. Sensitivity training, which includes gender sensitivity training, and leadership training and support is suggested as part of the interventions. Certain best practices could then be shared with other schools which face similar challenges. (shrink)

"A demain le bon sexe"... disait, non sans une pointe d'ironie, Michel Foucault, au plus fort de la "révolution sexuelle", et l'on sentait que ce n'était pas gagné. Qu'est-ce que le bon sexe? J'ai écrit ce livre en neuf mois... et toute une vie... Sans doute, pour moi, une manière de réaliser une certaine façon qui fut mienne d'être femme je me revois, dans ma petite chambre mansardée, étudiante, tentant en vain de lire en son entier l'Histoire de la sexualité (...) de Michel Foucault... Que savais-je de la sexualité, que pouvais-je recevoir de cet essai, que je trouvais grandiose, lumineux et obscur? Foucault, le seul des philosophes à parler de "ces choses-là", était bien isolé. Il faudrait du temps pour que ses écrits fassent leur route et du temps pour changer les mentalités. Du temps aussi pour moi, pour pouvoir les entendre, qu'ils fassent écho en moi. "Le sexe, disait Foucault, ça s'administre, la sexualité, ça se subit ; quant à la sensualité, elle est chaque jour à inventer." J'ai voulu rouvrir le dossier, emprunter les chemins qu'il a tracés en 1976 en écrivant son Histoire de la sexualité, qui est l'histoire des discours sur la sexualité, eux-mêmes histoire des corps investis par le pouvoir. Danièle Sastre. (shrink)

Purpose – This study aims to investigate the perceptions, acceptance, usage and access to social media by students and academics in higher education in informatics programs in Malaysia. A conceptual model based on Connectivism and communities of practice learning theory was developed and were used as a basis of mapping the research questions to the design frameworks and the research outcomes. A significant outcome of this study will be the development of a design framework for implementing social media as supporting (...) tools for student engagement and teaching and learning of informatics programs in higher education institutions in Malaysia. Design/methodology/approach – A mixed-method research methodology with a significant survey research component was employed for this research. This methodology focused on collecting and analyzing quantitative and qualitative data to better understand the research problems. For this study, a mixed-method sequential transformative research strategy based on a QUAN-Qual model was used in the data collection process. Mixed-method research methodology is considered to be most appropriate for this study, as it allows the researcher to gather multiple forms of data from diverse audiences such as educators, administrators and students. Findings – The findings show the close matched of the ownership, amount of hours spent online, types of social media technologies used and pattern of usage between informatics and non-informatics students. It also shows that many students and instructors have started to explore and accept the use of SMTs as a tool for engaging with their institution and their peers as well as for teaching and learning purposes. Innovative institutions need to understand the critical success factors and the barriers that restrict the implementation of SMTs within the HEI to take advantage of the opportunities offered by SMTs in higher education. Research limitations/implications – The surveys and interview participant, in part, are self-selecting, so the data collected cannot be claimed to be representative of the population. However, because of the relatively large number of participants, it can be considered that the findings are indicative. Other limitation includes the depth of data that can be collected using this methodology. Practical implications – There is wide range of social media usage in educational settings now being reported, but many issues are still unexamined. Limited studies have been focusing on the educators’ readiness, acceptance or refusal in integrating social media into their courses, the perceived effectiveness of the tools and student outcomes for their learning. The central outcome of this research will be the development of a design framework that will be used as a guide for Malaysian HEIs and informatics academics to engage students using SMTs in creating effective learning communities for informatics programs. Social implications – The framework will have implication for the social interaction and engagement of students with their institution. Originality/value – Very little work has been reported on student and academic engagement, their perspectives and perceived effectiveness of social media usage in higher education, especially in the Malaysia context. Most of the research focused only on the quantitative research with students from universities in the USA and Australia, with an emphasis mainly on student’s perception and acceptance. There are calls for more research to examine how social media is perceived and accepted by students and academics for teaching and learning, especially in Malaysia. (shrink)

This examination of the often-inaccessible work and semiotics of George Herbert Mead focuses first on his pivotal ideas of Sociality, Consciousness, and Communication. Mead’s insight of sociality as forced relatedness, or forced semiosis, appearing early in evolution, or appearing in simple systems, guarantees him a foundational place among biosemioticians. These ideas are Mead’s exemplar description of multiple referentiality afforded to social organisms (connected to his idea of the generalized other), thus enabling passing from one umwelt to another, with relative ease. (...) Although Mead’s comprehensive semiosis is basically sound, and in concordance with modern and contemporary semiotics (and biosemiotics), it nevertheless lacks a satisfactory explanation of how conscious organisms achieve passing into new frames of reference. Semiotic Matrix Theory (SMT), its pansemiosis, describes falsifiable existential and cognitive heuristics of recognizing Energy requirements, Safety concerns and Possibility or Opportunity as “passing” functions. Finally, another type of emergence, ecoethics, isan embedded constant in biosemiosis. Not all semiosis is good semiosis, not all text is good text. Because our species is moving away from ancient biosemiosisand interrelatedness, this historicity, even ductile enough to invent synthetic semiosis or capricious umwelten, is facing the ecological reality and consequences of an overly anthropocentric text. (shrink)

David Waldron Smithers was, among other things, a physician and a pioneer of cancer radiotherapy and a well-respected figure in British medicine and public health. From the 1940s until his retirement from medical practice in 1973, he was the director of the Radiotherapy Department at the Royal Marsden Hospital and London University Chair of Radiotherapy at the Institute of Cancer Research. Using massive amounts of clinical observations, which he interpreted from an organicist viewpoint, and his impressive synthetic thinking, he proposed (...) a coherent alternative perspective to the somatic mutation theory (SMT) which was then, and still is, the dominant theory of cancer. The purpose of this essay is to acquaint the modern audience with his seminal paper, published in 1962, because it deserves to be recognized as a true classic. In it, he examined the lack of fit between clinical observations and the SMT and proposed the rejection of this reductionist perspective. In addition, he built an organicist alternative in which carcinogenesis is seen as a problem of biological organization. His conceptual contribution to the cancer problem has inspired us and other authors over the last two decades. His essay “Cancer: An Attack on Cytologism,” originally published in The Lancet in 1962, is available as supplementary material in the online version of this article. (shrink)

Languages with insufficient digitally available resources, such as, Indian–Indian and English–Indian language Machine Translation system developments, faces the difficulty to translate various lexical phenomena. In this paper, we present our work on a comparative study of 440 phrase-based statistical trained models for 110 language pairs across 11 Indian languages. We have developed 110 baseline statistical machine translation systems. Then, we have augmented the training corpus with Indowordnet synset word entries of lexical database and further trained 110 models on top of (...) the baseline system. We have done a detailed performance comparison using various evaluation metrics such as BLEU score, METEOR, and TER. We observed significant improvement in evaluations of translation quality across all the 440 models after using the Indowordnet. These experiments give a detailed insight in two ways: usage of lexical database with synset mapping for resource poor languages and efficient usage of Indowordnet synset mapping. Moreover, synset mapped lexical entries helped the SMT system to handle the ambiguity to a great extent during the translation. (shrink)

The arguments offered by Jaswal & Akhtar to counter the social motivation theory do not appear to be directly related to the SMT tenets and predictions, seem to not be empirically testable, and are inconsistent with empirical evidence. To evaluate the merits and shortcomings of the SMT and identify scientifically testable alternatives, advances are needed on the conceptualization and operationalization of social motivation across diagnostic boundaries.

This paper presents four state-of-art methods for the finite-state automaton inference based on a sample of labeled strings. The first algorithm is Exbar, and the next three are mathematical models based on ASP, SAT and SMT theories. The potentiality of using multiprocessor computers in the context of automata inference was our research’s primary goal. In a series of experiments, we showed that our parallelization of the exbar algorithm is the best choice when a multiprocessor system is available. Furthermore, we obtained (...) a superlinear speedup for some of the prepared datasets, achieving almost a 5-fold speedup on the median, using 12 and 24 processes. (shrink)

The paper presents a novel method for the verification of security protocols’ time properties. The new method uses a translation to satisfiability modulo theories problem. In our approach, we model protocol users’ behaviours using networks of synchronized timed automata. Suitably specified correctness properties are defined as a reachability property of some chosen states in an automata network. Then, the network of timed automata and the property are translated to an SMT problem and checked using an SMT-solver and a BMC algorithm. (...) We consider the most important time properties of protocol executions using specially constructed time conditions. The new method was also implemented and experimentally evaluated for six well-known SPs. We also compared our new SMT-based technique with the corresponding SAT-based approach. (shrink)

In this paper, to solve the problem of slow design of arts and crafts and to improve design efficiency and aesthetics, the existing big data and 3D technology are used to conduct an in-depth analysis of the optimization of the rapid design system of arts and crafts machine salt baking. In the system requirement analysis, the functional modules of this system are identified as nine functional modules such as design terminology management system and external information import function according to the (...) actual usage requirements. In the system design, the overall structure design, database design, and functional module design of the system are comprehensively elaborated, and the key issues such as 3D display and home layout generation algorithm based on reinforcement learning are analyzed and designed. In the implementation part of the system, the overall construction of the system and the composition of functional modules are introduced in detail and the main functional modules of the system are presented with interface diagrams. In the system implementation part, the overall system construction and functional module composition are introduced in detail, the main functional modules of the system are shown with interface diagrams, codes, and algorithms, and the specific implementation process of 3D display and soft layout algorithms are also explained in detail. The process of Surface Mount Technology big data processing and analysis is designed, and the design of SMT production line data collection scheme and real-time data processing architecture is completed. Based on the characteristics of SMT production line data, the K-means algorithm is used to detect data outliers and verify the accuracy of the method; also, the Spark-based association rule printing parameter recommendation model is designed, and the efficiency of the Apriori algorithm is significantly improved by parallelization. (shrink)